Fluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net

نویسنده

  • Nabil El Akchioui
چکیده

Reliability analysis is often based on stochastic discrete event models like Markov models or stochastic Petri nets. For complex dynamical systems with numerous components, analytical expressions of the steady state are tedious to work out because of the combinatory explosion with discrete models. Moreover, the convergence of stochastic estimators is slow. For these reasons, fluidification can be investigated to estimate the asymptotic behaviour of stochastic processes with timed continuous Petri nets. The contributions of this paper are to sum up some properties of the asymptotic mean marking and average throughputs of stochastic and timed continuous Petri nets, then to point out the limits of the fluidification in the context of the stochastic steady state approximation. To overcome these limitations, the new semantic and the condition for convergence is proposed: fluid Petri nets with Non Linear Timed Continuous Petri Net (NL-CPN).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Application for the Control of Stochastic Petri nets via Fluidification Approach

Petri nets are frequently used for modeling and analysis of discrete event systems. Similar to other modeling formalisms for discrete systems, it suffers from state explosion. Fluidification can be used to overcome this difficulty yielding fluid approximation of original Petri nets in the sense of behaviours and properties. This models are called continuous Petri nets. In this work, stochastic ...

متن کامل

Stochastic State-Continuous Approximation of Markovian Petri Net Systems

Fluidification constitutes a relaxation technique to study discrete event systems through a continuous approximated model, thus avoiding the state explosion problem. In this paper, the approximation by deterministic Timed Continuous Petri nets under infinite server semantics is studied. The main contribution of this work is the addition of gaussian noise in order to obtain a better (but stochas...

متن کامل

Mapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...

متن کامل

Timing and liveness in continuous Petri nets

Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreover, the class of continuous models thus obtained may be interesting in itself. In Petri nets, fluidification leads to the so called continuous Petri nets, that are technically hybrid models. Under infinite server semantics...

متن کامل

Approximation of Stochastic Petri Nets Steady State by Cpn with Piecewise-constant Maximal Firing Speeds

Reliability analysis for reparable multi-components systems is based on stochastic discrete event models like Markov models or Stochastic Petri Nets (SPNs). When the number of components increases, the analytical expression of the steady state is tedious to work out because of the combinatory explosion with discrete models. For this reason, fluidification is investigated to estimate the asympto...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2018